﻿Con el uso del comando logcontract, una expresión como log(x)+log(y), mediante uso de propiedades, se obtiene como resultado log(x*y)